Search results for "Hartogs' theorem"

Infinite Dimensional Holomorphy

2019

We give an introduction to vector-valued holomorphic functions in Banach spaces, defined through Frechet differentiability. Every function defined on a Reinhardt domain of a finite-dimensional Banach space is analytic, i.e. can be represented by a monomial series expansion, where the family of coefficients is given through a Cauchy integral formula. Every separate holomorphic (holomorphic on each variable) function is holomorphic. This is Hartogs’ theorem, which is proved using Leja’s polynomial lemma. For infinite-dimensional spaces, homogeneous polynomials are defined as the diagonal of multilinear mappings. A function is holomorphic if and only if it is Gâteaux holomorphic and continuous…